package org.ant.gui.panes;

import java.awt.Color;

import javax.swing.BorderFactory;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;

public class InfTabbedPane extends JTabbedPane {

	private ProblemsPane problemsPane;
	private ConsolePane consolePane;

	public InfTabbedPane() {
		super();
		init();
		loadComponents();
	}

	protected void init() {
		
	}

	protected void loadComponents() {
		addTab(ProblemsPane.NAME, new JScrollPane(getProblemsPane()));
		addTab(ConsolePane.NAME, getConsolePane());
	}

	public ProblemsPane getProblemsPane() {
		if (problemsPane == null) {
			problemsPane = new ProblemsPane();
		}
		return problemsPane;
	}

	public ConsolePane getConsolePane() {
		if (consolePane == null) {
			consolePane = new ConsolePane();
		}
		return consolePane;
	}
}
